Journal of Mathematical Logic

Results: 125



#Item
101A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo

A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo

Add to Reading List

Source URL: de.metamath.org

Language: English - Date: 2014-06-27 17:40:55
102Update date: October[removed]Journals in Translation Algebra Logic Algebra and Logic. Springer, New York. (Translation of Algebra Logika) ISSN[removed].

Update date: October[removed]Journals in Translation Algebra Logic Algebra and Logic. Springer, New York. (Translation of Algebra Logika) ISSN[removed].

Add to Reading List

Source URL: klymene.mpim-bonn.mpg.de

Language: English - Date: 2012-02-28 15:21:22
    103John Benjamins Publishing Company This is a contribution from Belgian Journal of Linguistics 25 © 2011. John Benjamins Publishing Company This electronic file may not be altered in any way. The author(s) of this articl

    John Benjamins Publishing Company This is a contribution from Belgian Journal of Linguistics 25 © 2011. John Benjamins Publishing Company This electronic file may not be altered in any way. The author(s) of this articl

    Add to Reading List

    Source URL: www.jakubszymanik.com

    Language: English - Date: 2011-12-09 11:12:58
    104Truth, Omniscience, and Cantorian Arguments: An Exchange Author(s): Alvin Plantinga and Patrick Grim Source: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Vol. 71, No. 3 (Sep.,

    Truth, Omniscience, and Cantorian Arguments: An Exchange Author(s): Alvin Plantinga and Patrick Grim Source: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Vol. 71, No. 3 (Sep.,

    Add to Reading List

    Source URL: www.pgrim.org

    Language: English - Date: 2013-08-27 05:15:29
    105EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗

    EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗

    Add to Reading List

    Source URL: www.ejtp.com

    Language: English - Date: 2009-08-25 12:57:40
    106Kernel Contraction Author(s): Sven Ove Hansson Reviewed work(s): Source: The Journal of Symbolic Logic, Vol. 59, No. 3 (Sep., 1994), pp[removed]Published by: Association for Symbolic Logic Stable URL: http://www.jstor.o

    Kernel Contraction Author(s): Sven Ove Hansson Reviewed work(s): Source: The Journal of Symbolic Logic, Vol. 59, No. 3 (Sep., 1994), pp[removed]Published by: Association for Symbolic Logic Stable URL: http://www.jstor.o

    Add to Reading List

    Source URL: all4da.googlecode.com

    Language: English - Date: 2012-06-14 16:08:38
    107The Ersatz Pluriverse∗ Theodore Sider Journal of Philosophy[removed]): 279–315 While many are impressed with the utility of possible worlds in linguistics

    The Ersatz Pluriverse∗ Theodore Sider Journal of Philosophy[removed]): 279–315 While many are impressed with the utility of possible worlds in linguistics

    Add to Reading List

    Source URL: tedsider.org

    Language: English - Date: 2008-02-24 13:58:59
    108A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo

    A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo

    Add to Reading List

    Source URL: us.metamath.org

    Language: English - Date: 2014-05-21 18:58:43
    109Journal of Universal Computer Science, vol. 7, no[removed]), [removed]submitted: 1/9/00, accepted: [removed], appeared: [removed]  Springer Pub. Co. Modeling Sequences within the RelView System Rudolf Berghammer

    Journal of Universal Computer Science, vol. 7, no[removed]), [removed]submitted: 1/9/00, accepted: [removed], appeared: [removed]  Springer Pub. Co. Modeling Sequences within the RelView System Rudolf Berghammer

    Add to Reading List

    Source URL: www.jucs.org

    Language: English - Date: 2006-11-02 06:23:21
    110DISCUSSION NOTE THE UNUSUAL LOGIC OF HURKA’S RECURSIVE ACCOUNT BY AVRAM HILLER JOURNAL OF ETHICS & SOCIAL PHILOSOPHY

    DISCUSSION NOTE THE UNUSUAL LOGIC OF HURKA’S RECURSIVE ACCOUNT BY AVRAM HILLER JOURNAL OF ETHICS & SOCIAL PHILOSOPHY

    Add to Reading List

    Source URL: www.jesp.org

    Language: English - Date: 2012-03-06 13:21:46